The expressive power of CHR with priorities

机译：优先考虑CHR的表达能力

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Gabbrielli, Maurizio; Mauro, Jacopo; Meo, Maria Chiara;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. The expressive power of CHR with priorities [J] . Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo Information and computation . 2013,第jula期

机译：优先考虑CHR的表达能力
2. On the Expressive Power of Multiple Heads in CHR [J] . CINZIA Dl GIUSTO, MAURIZIO GABBRIELLI, MARIA CHIARA MEO ACM transactions on computational logic . 2012,第1期

机译：论CHR中多头的表达能力
3. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities [J] . LESLIE DE KONINCK Theory and Practice of Logic Programming . 2009,第2期

机译：逻辑算法符合CHR：具有规则优先级的约束处理规则的元复杂性结果
4. On the expressive power of priorities in CHR [C] . Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming . 2009

机译：论CHR中优先事项的表达能力
5. Empowering Disempowered Working Women: A Gendered African Perspective on Christian Social Ethics =Capabiliser les travailleuses marginalisées: une lecture africaine du genre de l'éthique sociale chrétienne [D] . Mben, Joseph Lo?c. 2018

机译：赋予无权工作的妇女以权力：非洲性别对基督教社会道德的看法
6. Expressive Suppression Within Task-Oriented Dyads: The Moderating Role of Power [O] . Stefania Balzarotti, Stefano Cesana, Federica Biassoni, 2020

机译：以任务为导向的二元的表现抑制：权力的调节作用
7. The expressive power of CHR with priorities [O] . Gabbrielli, Maurizio, Mauro, Jacopo, Meo, Maria Chiara 2013

机译：优先考虑CHR的表达能力
8. Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing211 Powers [R] . Dams, D. 1998

机译：CTL和CTL的扁平碎片*：分离表达和区分211的力量

The expressive power of CHR with priorities

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅